Finitely additive integration and local integration with respect to upper integrals

Summary We study the integration theory for general integral metrics when restricted to upper integrals q, finding improvements in the relation between the classes of the q-integrable and the q_l-integrable functions. We give new results and notions which lead to the desirable characterizations of q-integrable functions as q_l-integrable f with q(|f|) < ∞, and of q_l-integrable functions via the integrability of their upper truncations, under natural conditions which are fulfilled in most finitely additive integration theories.     

A Joint Integral Test for the Locations of Extrema for Brownian Motion

Let μ⁺(t) and μ⁻(t) be the locations of the maximum and minimum, respectively, of a standard Brownian motion in the interval [0,t]. We establish a joint integral test for the lower functions of μ⁺(t) and μ⁻(t), in the sense of Paul Lévy. In particular, it yields the law of the iterated logarithm for max(μ⁺(t),μ⁻(t)) as a straightforward consequence. Our result is in agreement with well-known theorems of Chung and Erdős [(1952) Trans. Amer. Math. Soc. 72, 179–186.], and Csáki, F?ldes and Révész [(1987) Prob. Theory Relat. Fields 76, 477–497].      

基于低功耗双边沿D触发器的任意进制异步计数器设计

从D触发器激励表入手，分别给出了采用单边沿D触发器和双边沿D触发器的2^n进制异步加法计数器、减法计数器的设计方法．在此基础上，采用逻辑函数修改技术，通过实例讨论了基于单边沿D触发器和双边沿D触发器的异步任意进制计数器的设计．该设计方法方便，快速，具有一定的实用意义．     

Curved Ferroelectric Liquid Crystal Matrix Displays Driven by Field-Sequential-Color and Active-Matrix Techniques

This paper describes a curved field-sequential-color matrix display using fast-response ferroelectric liquid crystal. Black matrix and transparent electrode patterns were formed on a thin plastic substrate by a transfer method from a glass substrate. While a composite film of liquid crystal and micro-polymers of walls and fibers was formed between the flexible substrates by printing, laminating and curing processes of a solution of monomers and liquid crystal, the mechanical stability was enhanced by use of multi-functional monomers to form large display panels. The image pixels of the matrix panel were driven by an active matrix scheme using an external switch transistor array at a frequency of 180 Hz for intermittent three-primary-color backlight illumination. The flexible A4-paper-sized color display with 24 × 16 pixels and 60 Hz field frequency was demonstrated by illuminating it with sequential three-primary-color lights from light-emitting diodes of the backlight. Our display system is useful in various information displays because of its freedom of setting and location.     

Quadratic distances for capacity and bi-capacity approximation and identification

The application of multi-attribute utility theory based on the Choquet integral requires the prior identification of a capacity if the utility scale is unipolar, or of a bi-capacity if the utility scale is bipolar. In order to implement a minimum distance principle for capacity or bi-capacity approximation or identification, quadratic distances between capacities and bi-capacities are studied. The proposed approach, consisting in solving a strictly convex quadratic program, has been implemented within the GNU R kappalab package for capacity and nonadditive integral manipulation. Its application is illustrated on two examples.      

Lorentz-Covariant Loop Quantum Gravity

We review the Lorentz-covariant approach to loop quantum gravity. This approach solves the Immirzi parameter problem occurring in the standard loop approach based on the SU(2) gauge group. We show that there exists a unique loop quantization preserving all the classical symmetries at the quantum level and that the results obtained with it, such as the area operator spectrum, are independent of the Immirzi parameter. The standard SU(2) approach violates the diffeomorphism invariance and is therefore an incorrect quantization of gravity.     

Banach空间二阶周期边值问题解的存在性

利用一些比较结果，讨论了Banach空间中二阶周期边值问题解的存在性，获得了若干解的存在性与唯一性结果。     

Boundary value problems for first order impulsive delay differential equations with a parameter

In this paper, by means of the method of upper and lower solutions and monotone iterative technique, the existence of maximal and minimal solutions of the boundary value problems for first order impulsive delay differential equations is established.     

斐索型光学合成孔径系统近轴成像条件研究

从几何光学理论出发，详细推导了斐索型光学合成孔径成像系统的近轴非相干成像条件，即子望远系统的角放大率等于系统的线性缩放因子。对于焦平面上的像点而言，合成孔径成像系统可等效为一个带有特殊形状孔径光阑的望远系统，这要求该孔径光栏的开口形状和位置分布与合成孔径成像系统各子系统孔径大小和位置分布相一致。我们由此得到了斐索型合成孔径成像系统的主要约束条件。     

正交变换在重积分中某些应用

正交变换是代数学的基本内容 ,其用途十分广泛 .重积分的计算往往存在技术性的困难 ,若利用“正交变换”的有关理论去解决某些重积分的计算问题是颇有功效的 .本文将以“正交变换”为工具 ,简洁的处理重积分的某些问题